8

Recycling Proof Patterns in Coq: Case Studies

Année:
2014
Langue:
english
Fichier:
PDF, 1.19 MB
english, 2014
20

Mathematical knowledge management in algebraic topology

Année:
2012
Langue:
english
Fichier:
PDF, 80 KB
english, 2012